断言检查 用户在程序中嵌入的断言的检查。

assertion checking  detail>>

断言检查程序

a ertion checker assertion checker  detail>>

断言检查

assertion checking  detail>>

断言的断定的

predicated  detail>>

断言的

assertive predicated  detail>>

不能断言的

unasserted  detail>>

非断言的

non-assertive  detail>>

可断言的

affirmable pronounceable  detail>>

断言

say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; asserti...  detail>>

程序断言

program assertion  detail>>

非直谓的, 非断言的

impredicative  detail>>

检查用灯

inspection light  detail>>

检查用电灯

electric inspection lamp  detail>>

检查用堵头

inspection plug  detail>>

检查用放空

emptying for inspection  detail>>

检查用试样

check sample  detail>>

检查用手套

examination gloves  detail>>

夸大或无法验证的断言

use of vague exaggerated or untestable claims  detail>>